(0 17 15)(1 19 4)(2 9 5)(3 12 7)(6 18 8)(10 16 14)(11 20 13)
ALLOWS (11/8)-SEQUENCE
1: (3 7 12)
(0 17 15)(1 19 4)(2 9 5)(3 7 12)(6 18 8)(10 16 14)(11 20 13)
2: (6 18 8)
(0 17 15)(1 19 4)(2 9 5)(3 7 12)(6)(8)(10 16 14)(11 20 13)(18)
3: (3 7 12)
(0 17 15)(1 19 4)(2 9 5)(3)(6)(7)(8)(10 16 14)(11 20 13)(12)(18)
4: (11 20 13)
(0 17 15)(1 19 4)(2 9 5)(3)(6)(7)(8)(10 16 14)(11)(12)(13)(18)(20)